📊 Static Analysis - matmat · Scour

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

📜Proof Carrying Code

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·3h·

Discuss: Hacker News

🔒Type Safety

Conversation: LLMs and the what/how loop

martinfowler.com·4h

🧩WASM Components

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·14h

🔓Decompilation

What I’ve learned over 3 years of writing code

blog.scottlogic.com·1d

📏Code Metrics

abelianization of an additive category in nLab

ncatlab.org·3h

🧮Algebraic Archives

Evolution of LLMs use by a programmer

asfaload.com·2h·

Discuss: Hacker News

🧩WASM Components

PHPStan Now 25~40% Faster For Static Analysis

phoronix.com·8h

📏Code Metrics

CodeSOD: Validation Trimmed Away

thedailywtf.com·12h

✅Format Validation

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·21h

🔬Binary Analysis

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·9h·

Discuss: r/golang

🔗Topological Sorting

A nine-point framework for rapidly assessing software-engineering organizations

dev.jimgrey.net·7h

📏Code Metrics

Can you chart a murder? How to build an interactive novel

sixcolors.com·1h

🔠Terminal Fonts

Rust vs C++: A Comparison

dev.to·11h·

Discuss: DEV

🦀Rust Borrowing

bloomberg/crane: A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

github.com·1d·

Discuss: Lobsters

🦀Rust Macros

Alexis King’s Blog

lexi-lambda.github.io·1d

🎯Gradual Typing

Software as clay on the wheel

dri.es·23h

⚡Proof Automation

Code review your plans and your implementation

news.ycombinator.com·6h·

Discuss: Hacker News

🔄Reproducible Builds

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·2h·

Discuss: Hacker News

🤝Unification Algorithms

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·6h·

Discuss: DEV

🚀SIMD Parsing

Loading more...